$\forall$$x$, $y$:(Void List). ($x$ = $y$) $\Rightarrow$ \{($\uparrow$null($x$)) \& ($\uparrow$null($y$))\}